<html>
<head><meta charset="utf-8"><title>highfive bot · t-infra · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/index.html">t-infra</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html">highfive bot</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="209438959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209438959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mara <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209438959">(Sep 08 2020 at 20:20)</a>:</h4>
<p>The high five bot is leaving me hanging on my last two PRs. But it does seem to be working for PRs other people are sending. Any idea what's happening there? It should instantly reply to all PRs on the rust repository, right?</p>
<p>(Btw, the description on <a href="https://github.com/rust-highfive">https://github.com/rust-highfive</a> links to Discord instead of Zulip.)</p>



<a name="209438983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209438983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209438983">(Sep 08 2020 at 20:20)</a>:</h4>
<p><span class="user-mention" data-user-id="310399">@Mara</span> link to the PRs?</p>



<a name="209439036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209439036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mara <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209439036">(Sep 08 2020 at 20:21)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/pull/76492">https://github.com/rust-lang/rust/pull/76492</a> and <a href="https://github.com/rust-lang/rust/pull/76484">https://github.com/rust-lang/rust/pull/76484</a></p>



<a name="209439571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209439571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mara <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209439571">(Sep 08 2020 at 20:25)</a>:</h4>
<p>looks like these two are literally the only two open PRs without assignee that didn't have <code>r?</code> in the message.</p>



<a name="209441858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209441858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209441858">(Sep 08 2020 at 20:44)</a>:</h4>
<p><span class="user-mention" data-user-id="310399">@Mara</span> highfive tried to assign <span class="user-mention" data-user-id="124289">@Hanna Kruppe</span> to those PRs, but she can't be assigned</p>



<a name="209441883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209441883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209441883">(Sep 08 2020 at 20:44)</a>:</h4>
<p>probably because she doesn't have write access to rustc I guess?</p>



<a name="209441917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209441917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209441917">(Sep 08 2020 at 20:44)</a>:</h4>
<p><a href="/user_uploads/4715/rA8q-hOdM2QVG6XLe3JU6GGG/2020-09-08-22-44-46.png">2020-09-08-22-44-46.png</a></p>
<div class="message_inline_image"><a href="/user_uploads/4715/rA8q-hOdM2QVG6XLe3JU6GGG/2020-09-08-22-44-46.png" title="2020-09-08-22-44-46.png"><img src="/user_uploads/4715/rA8q-hOdM2QVG6XLe3JU6GGG/2020-09-08-22-44-46.png"></a></div>



<a name="209441968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209441968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209441968">(Sep 08 2020 at 20:45)</a>:</h4>
<p>might be related to <a href="#narrow/stream/122651-general/topic/Goodbye.2C.20Rust">https://rust-lang.zulipchat.com/#narrow/stream/122651-general/topic/Goodbye.2C.20Rust</a></p>



<a name="209442243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209442243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209442243">(Sep 08 2020 at 20:47)</a>:</h4>
<p>surely</p>



<a name="209442259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209442259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209442259">(Sep 08 2020 at 20:47)</a>:</h4>
<p>well, we'll need to remove her from highfive</p>



<a name="209442270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209442270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209442270">(Sep 08 2020 at 20:48)</a>:</h4>
<p>(and sorry hanna for the ping!)</p>



<a name="209442326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209442326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209442326">(Sep 08 2020 at 20:48)</a>:</h4>
<p>can someone open a PR to highfive?</p>



<a name="209442822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209442822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209442822">(Sep 08 2020 at 20:52)</a>:</h4>
<p>I can do that</p>



<a name="209455466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209455466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209455466">(Sep 08 2020 at 23:15)</a>:</h4>
<p>assigned the 2nd pr</p>



<a name="209882467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/highfive%20bot/near/209882467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mara <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/highfive.20bot.html#209882467">(Sep 12 2020 at 13:52)</a>:</h4>
<p>Looks like it happened again: <a href="https://github.com/rust-lang/rust/pull/76640">https://github.com/rust-lang/rust/pull/76640</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>